Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
761	COVER FEATURE Iterative and Incremental Development: A Brief History Although many view iterative and incremental development as a modern Add to Reading List Source URL: www.it.uu.se Language: English - Date: 2008-01-30 11:37:22 Project management Software development process Formal methods Iterative and incremental development Waterfall model Agile software development Spiral model IBM Rational Unified Process Software development methodology Software development Software Software project management
762	1 Efficient Reasoning about Data Trees via Integer Linear Programming CLAIRE DAVID, Universit´e Paris-Est LEONID LIBKIN, University of Edinburgh TONY TAN, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-27 14:06:25 Electronic design automation Formal methods Logic in computer science NP-complete problems Complexity classes Satisfiability Modulo Theories Symbol Boolean satisfiability problem P-complete Theoretical computer science Computational complexity theory Applied mathematics
763	CA Gen Change Management Introduction Reduced software product life cycles and increasingly diverse requirements are leading companies to review and improve their software development processes. These processes and supp Add to Reading List Source URL: www.iet.co.uk Language: English - Date: 2008-01-28 10:00:38 Configuration management Software configuration management Software development process ECO Change management Information Engineering Facility Application Interface Specification Software Information technology management Formal methods
764	Reliability Digest, NovemberExploit Generation from Software Failures Shih-Kun Huang Information Technology Service Center National Chiao Tung University Add to Reading List Source URL: rs.ieee.org Language: English - Date: 2014-11-17 21:02:54 Automated theorem proving Concolic testing Symbolic execution Reliability engineering KeY Code injection Function Mathematics Formal methods Systems engineering
765	PRESS RELEASE Pressemitteilung • Communiqué de Presse • Comunicato Stampa Atego launches Atego Vantage News Highlights  Unique combination of Model-based Systems and Software Engineering, Asset-based Add to Reading List Source URL: www.atego.com Language: English - Date: 2014-03-19 09:46:38 Software Business Software project management Atego Formal methods Information technology management Software development process Product lifecycle management Software design Technology Software development Product management
766	SECTION 2 REPORT ON PERFORMANCE CHAPTER 5 OUTCOME Add to Reading List Source URL: defence.gov.au Language: English - Date: 2014-10-22 21:10:15 Procurement programme of the Royal Australian Navy Formal methods MIM-23 Hawk Military of Australia Defence Materiel Organisation
767	A Formalization of Programs in First-Order Logic with a Discrete Linear Order∗ Fangzhen Lin () Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, H Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2014-03-07 00:56:20 Logic in computer science Functions and mappings Formal methods Function First-order logic Predicate transformer semantics FO Quasigroup Dynamic logic Mathematics Mathematical logic Logic
768	Specification and Verification of Event Detectors and Responses Cynthia Disenfeld Shmuel Katz Department of Computer Science Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-10-28 08:11:48 Logic in computer science Aspect-oriented programming Formal verification Model checking Grammatical aspect E Formal specification Abstraction Software development Formal methods Aspect-oriented software development
769	Who are we, and what are we doing here? Alan Wassyng McMaster Centre for Software Certification, Department of Computing and Software, McMaster University, Hamilton, Ontario, Canada, Add to Reading List Source URL: fm2012.cnam.fr Language: English - Date: 2012-06-26 10:13:21 Science Formal methods Software development process Software engineer Engineering Software development methodology Outline of software engineering Agile software development Software development Software engineering Software
770	Form Methods Syst Des: 61–92 DOIs10703MAVEN: modular aspect verification and interference analysis Max Goldman · Emilia Katz · Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-31 08:13:05 Aspect-oriented programming Join point Linear temporal logic AspectJ Pointcut Formal verification Model checking Kripke structure Temporal logic Software development Software Aspect-oriented software development

UPDATE